Geoethical futures: A call for more-than-human physical geography

Space Is more than Geography

The No-Destination Ship of Priority-Setting in Healthcare: A Call for More Democracy

In dealing with scarcity of resources within healthcare systems, decision-makers inevitably have to make choices about which services to fund. Setting priorities represents a challenging task that requires systematic, explicit and transparent methodologies with focus on economic efficiency. In addition, the engagement of the general public in the process of decision-making has been regarded as ...

An unusual, giant and benign condylomaacuminatum lesion on the genital area for more than a decade

Condyloma acuminatum, is a rare sexually transmitted disease. The virus responsible for condyloma is human papillomavirus. HPV-6 and HPV-11 are the most commonly detected HPV genotypes, but at least 20 other HPV genotypes have occasionally been found in genital wart tissue specimens. In fact genital HPV infection is common among sexually active populations. This disease may occur at any age af...

Exceptions Are Strictly More Powerful Than Call/CC

We demonstrate that in the context of statically typed pure functional lambda calculi, exceptions are strictly more powerful than call/cc. More precisely, we prove that the simply typed lambda calculus extended with exceptions is strictly more powerful than Girard's F ! [6, 15] (a superset of the simply typed lambda calculus) extended with call/cc and abort. This result is established by showin...

Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC

We demonstrate that in the context of statically-typed purely-functional lambda calculi without recursion, unchecked exceptions (e.g., SML exceptions) can be strictly more powerful than call/cc. More precisely, we prove that a natural extension of the simply-typed lambda calculus with unchecked exceptions is strictly more powerful than all known sound extensions of Girard’s Fω (a superset of th...